2
Introduction to Abstract Algebra

Introduction to Abstract Algebra

J. Strother Moore
Anno:
1975
Lingua:
english
File:
PDF, 13.58 MB
0 / 0
english, 1975
3
A Computational Logic

A Computational Logic

Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
Anno:
1979
Lingua:
english
File:
PDF, 19.40 MB
0 / 0
english, 1979
4
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J Strother Moore
Anno:
1988
Lingua:
english
File:
PDF, 19.03 MB
0 / 0
english, 1988
5
A Computational Logic Handbook

A Computational Logic Handbook

Robert S. Boyer, J. Strother Moore
Anno:
1988
Lingua:
english
File:
DJVU, 2.40 MB
0 / 0
english, 1988
7
A Computational Logic (ACM monograph series)

A Computational Logic (ACM monograph series)

Robert S. Boyer, J. Strother Moore
Anno:
1979
Lingua:
english
File:
PDF, 825 KB
0 / 0
english, 1979
8
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
Anno:
1979
Lingua:
english
File:
DJVU, 1.62 MB
0 / 0
english, 1979
11
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Anno:
2000
Lingua:
english
File:
DJVU, 2.07 MB
0 / 0
english, 2000
12
A computational logic

A computational logic

Robert S. Boyer, J.Strother Moore
Anno:
1979
Lingua:
english
File:
DJVU, 858 KB
0 / 0
english, 1979
14
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Anno:
2000
Lingua:
english
File:
PDF, 8.93 MB
0 / 0
english, 2000
16
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

J Strother Moore
Anno:
1996
Lingua:
english
File:
PDF, 11.43 MB
0 / 0
english, 1996